vaccination against human papillomavirus infection (HPV vaccination)